Spider Diagrams: A Diagrammatic Reasoning System
نویسندگان
چکیده
If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided at http://kar.kent.ac.uk/contact.html Citation for published version Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart and Gil, Joseph (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X .
منابع مشابه
Reasoning with constraint diagrams
There is a range of visual languages which express logical statements, for example Euler diagrams. The effective use of such languages relies on knowledge about whether a diagram is contradictory and whether reasoning can be performed to transform one diagram into another. It is also desirable to know the expressiveness of such languages. Knowing what a language can and cannot express is import...
متن کاملThe Mathematics of Diagrammatic Logical Systems
The focus of my PhD was on spider diagrams and constraint diagrams. Constraint diagrams are a visual language for expressing logical statements. The spider diagram language forms a fragment of the constraint diagram language. I developed two diagrammatic reasoning systems. The first of these, based on spider diagrams, directly extends previous work. The second system is based on the more expres...
متن کاملA Sound and Complete Diagrammatic Reasoning System
Simple spider diagrams are a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They extend the systems of Venn-Peirce diagrams investigated by Shin to include lower bounds for the cardinalities of the sets represented by the diagrams. This paper summarises the main syntax and semantics of simple spider diagrams and ...
متن کاملUNSPECIFIED Tableaux for Diagrammatic Reasoning
Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a visual notation for expressing a natural class of settheoretic statements in a diagrammatic form. ...
متن کاملHeterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
We present an interactive heterogeneous theorem proving framework, which performs formal reasoning by arbitrarily mixing diagrammatic and sentential proof steps. We use Isabelle to enable formal reasoning with either traditional sentences or spider diagrams. We provide a mechanisation of the theory of abstract spider diagrams and establish a formal link between diagrammatic concepts and the exi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Vis. Lang. Comput.
دوره 12 شماره
صفحات -
تاریخ انتشار 2001